41. Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
پدیدآورنده : U.S.-Israel Workshop on Model Theory in Mathematical Logic, )5891, Chicago, Ill.(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Model theory-- Congresses
رده :
QA
3
.
L28
no
.
1292
42. Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15 - 19, 1985
پدیدآورنده : J. T. Baldwin )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
1292
43. Classification theory : proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic held in Chicago, Dec. 15-19, 1985
پدیدآورنده : J.T. Baldwin )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Model theory
رده :
QA
9
.
7
.
U8
1985
44. Cognitive and Computational Model- A Socio-Trust Theory
پدیدآورنده : / Castelfranchi
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ELECTRONIC& METHODS|ENGINEERING, ELECTRICAL &COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
45. Conformational theory of large molecules : the rotational isomeric state model in macromolecular systems
پدیدآورنده : Wayne L. Mattice and Ulrich W. Suter
کتابخانه: کتابخانه مرکز تحقیقات بیوشیمی- بیوفیزیک دانشگاه تهران (طهران)
موضوع : Polymers
رده :
QD
381
.
9
.
M3
M39
1994
46. Constrained dynamics : with applications to Yang-Mills theory, general relativity, classical spin, dual string model
پدیدآورنده : Sundermeyer, Kurt
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Quantum field theory,، Constraints )Physics(,، Yang-Mills theory
رده :
QC
1
.
L4
v
.
169
47. Constrained dynamics : with applications to Yang-Mills theory, general relativity, classical spin, dual string model
پدیدآورنده : Sundermeyer, Kurt
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Quantum field theory,، Constraints )Physics(,، Yang-Mills theory
رده :
QC
174
.
45
.
S94
1982
48. Constrained dynamics : with applications to Yang-Mills theory, general relativity,, classical spin, dual string model
پدیدآورنده : Sundermeyer, Kurt, 3491-
کتابخانه: (طهران)
موضوع : ، Quantum field theory,، Constraints )Physics(
رده :
QC
3
.
L28
Vol
.
169
49. Continuous model theory
پدیدآورنده : Chang, Chen Chung
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
1
.
A626
no
.
58
50. Continuous model theory
پدیدآورنده : / by Chen Chung Chang, H. Jerome Keisler
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Logic, symbolic and mathematical
رده :
QA9
.
C48
51. Contract theory in continuous-time model
پدیدآورنده : / Jak??a Cvitani??, Jianfeng Zhang
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Finance, Mathematical models,Stochastic control theory,Electronic books
رده :
E-BOOK
52. Definable additive categories : purity and model theory
پدیدآورنده : Prest, Mike
کتابخانه: (طهران)
موضوع : ، Abelian categories,، Model theory
رده :
QA
3
.
A475
no
.
987
53. Differential operator equations : a method of model operators in the theory of boundary value problems
پدیدآورنده : Dezin, Aleksei Alekseevich
کتابخانه: (طهران)
موضوع : ، Differential equations, Linear,، Difference operators
رده :
QA
1
.
P736
Vol
.
229
54. Economic Growth in the Regions of Europ Theory and Empirical Evidence from a Spatial Growth Model
پدیدآورنده : Sardadvar, SaschaAuthor., ]electronic resource[
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Electronic books,، Europe, Economic Conditions,، Neoclassical School of Economics,، Business & Economics, Economic Conditions,، Business & Economics, Economics, Theory
رده :
HC
240
55. Economic growth in the regions of europe :theory and empirical evidence from a spatial growth model
پدیدآورنده : Sardadvar, Sascha
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Regional planning--Europe.
رده :
HC
103
.
S23
2011
56. Elementary end extensions in model theory and set theory
پدیدآورنده : by: Shahram Mohsenipour,^AMohsenipour, Shahram
کتابخانه: (طهران)
موضوع : Logic, Symbolic and mathematical,Model theory,Set theory
57. Elements of Finite Model Theory
پدیدآورنده : libkin ,leonid
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Model Theory
رده :
EBOOK
,
QA
L53
9
.
7
58. Elements of finite model theory
پدیدآورنده : Libkin, Leonid.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Model theory
رده :
QA
9
.
7
.
L53
2004
59. Elements of finite model theory
پدیدآورنده : by Leonid Libkin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Model theory.
رده :
QA9
.
7
B954
2011
60. Elements of mathematical logic ; model theory
پدیدآورنده : Kreisel, Georg
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematical models
رده :
QA
9
.
K772
1971
